1. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده : by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Diffusing Software Product and Process Innovations :
پدیدآورنده : edited by Mark A. Ardis, Barbara L. Marcolin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mechanical engineering.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2001